Works by J. C. Bradfield

( view other items matching `J. C. Bradfield`, view all matches )
Order:
  1.  14
    Independence: logics and concurrency.J. C. Bradfield - 2006 - Acta Philosophica Fennica 78.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  2.  8
    On independence-friendly fixpoint logics.J. C. Bradfield - 2004 - Philosophia Scientiae 8:125-144.
    Nous introduisons une extension aux points fixes de la logique IF (faite pour l’indépendance) de Hintikka et Sandu. Nous donnons des résultats sur sa complexité et son pouvoir expressif. Nous la relions aux jeux de parité à information imparfaite, et nous montrons une application à la définition d’un mu-calcul modal fait pour l’indépendance.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  44
    On independence-friendly fixpoint logics.J. C. Bradfield - 2004 - Philosophia Scientiae 8 (2):125-144.
    Nous introduisons une extension aux points fixes de la logique IF (faite pour l’indépendance) de Hintikka et Sandu. Nous donnons des résultats sur sa complexité et son pouvoir expressif. Nous la relions aux jeux de parité à information imparfaite, et nous montrons une application à la définition d’un mu-calcul modal fait pour l’indépendance.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations